package symbolrt.main;

import symbolrt.base.TIOSTS;
import symbolrt.manager.DataManager;
import symbolrt.synthesis.SynthesisUnit;

/**
 * <code>TranslatorFacade</code> Class. <br>
 * 
 * Represents the system facade
 * 
 * @author Jeanderson Barros Candido ( <a
 *         href="mailto:jeandersonbc@gmail.com">jeandersonbc@gmail.com</a> )
 * 
 * @version 1.0 <br>
 *          (C) Copyright 2012 SYMBOL-RT Translator.
 */
public class TranslatorFacade implements OperableIF {

	/*
	 * (non-Javadoc)
	 * 
	 * @see symbolrt.main.OperableIF#getSpecification()
	 */
	@Override
	public TIOSTS getOutputSpecification() {
		return SynthesisUnit.getProcessedSpec();
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see symbolrt.main.OperableIF#getTestPurpose()
	 */
	@Override
	public TIOSTS getOutputTestPurpose() {
		return SynthesisUnit.getProcessedTP();
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see symbolrt.main.OperableIF#setParameters(java.lang.String,
	 * java.lang.String, java.lang.String)
	 */
	@Override
	public void setInputData(String filePath, String specificationName,
			String testPurposeName) {
		String[] args = { filePath, specificationName, testPurposeName };
		DataManager.start(args);
	}

}
